Modeling and Analysis for Streaming Service Systems

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems

In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segregation of Duties (SoD) or privacy protection policies. In our framework, control/data flow is modeled using the exogenous coordination language Reo. Reo process models are designed from scratch or (semi-)automatically ...

Systems Risk Analysis UsingHierarchical Modeling

A fresh look at the system analysis helped us in finding a new way of calculating the risks associated with the system. The author found that, due to the shortcomings of RPN, more researches needed to be done in this area to use RPNs as a new source of information for system risk analysis. It is the purpose of this article to investigate the fundamental concepts of failure modes and effects ana...

Simulation Modeling and Analysis of In-Flight Service Operations for Commercial Passenger Flights

Nowadays, in-flight comfort has become an essential characteristic to survive in domestic airline businesses. Air hostesses’ quality of service and response time to customer demand plays a vital role in enhancing quality of the flight experience and passenger satisfaction. However, additional requirements on air hostess expose them to fatigue which could eventually result in job dissatisfac...

Service Process Modeling through Simulation and Scenario Development for Insurance Analysis

Insurance companies are among the service organizations, which maintain close relationships with their clients by providing insurance services. Clients are the most important resource for service companies. And profitability of insurance companies undoubtedly hinges on clear analysis of client satisfaction and improved productivity of service providers. An important factor of client satisfactio...

Analysis of Streaming Media Systems Analysis of Streaming Media Systems